different exception than device interrupts. For PowerPC Xen, we emulate this
exception rather than delivering timer events as virtual IRQs. This patch
introduces no functional changes for x86 and ia64, but is a required change
for xen/arch/ppc.
Signed-off-by: Hollis Blanchard <hollisb@us.ibm.com>
return 1;
}
+void send_timer_event(struct vcpu *v)
+{
+ send_guest_virq(v, VIRQ_TIMER);
+}
setup_irq(0, &irq0);
}
+void send_timer_event(struct vcpu *v)
+{
+ send_guest_virq(v, VIRQ_TIMER);
+}
+
/*
* Local variables:
* mode: C
{
update_dom_time(next);
if ( next->sleep_tick != schedule_data[cpu].tick )
- send_guest_virq(next, VIRQ_TIMER);
+ send_timer_event(next);
}
TRACE_4D(TRC_SCHED_SWITCH,
if ( !is_idle_vcpu(v) )
{
update_dom_time(v);
- send_guest_virq(v, VIRQ_TIMER);
+ send_timer_event(v);
}
page_scrub_schedule_work();
struct vcpu *v = data;
update_dom_time(v);
- send_guest_virq(v, VIRQ_TIMER);
+ send_timer_event(v);
}
/* SCHEDOP_poll timeout callback. */
extern void do_settime(
unsigned long secs, unsigned long nsecs, u64 system_time_base);
+extern void send_timer_event(struct vcpu *v);
+
#endif /* __XEN_TIME_H__ */
/*